#!/bin/awk -f  
BEGIN {
	line = 0;
	file = 0;
}

/^[0-9]+/ {
	if(NF == 11){
		if(line % 10000 == 0){
			file += 1;
		}
		line += 1;
		print $0 >> file".html"
	}
}
